Software verification and validation - PDFSEARCH.IO - Document Search Engine

Software verification and validation
Results: 576

#	Item
31	LangSec: Recognition, Validation, and Compositional Correctness for Real World Security Mission Statement. Language-theoretic security (LangSec) is a design and programming philosophy that focuses on formally correct and Add to Reading List Source URL: langsec.org Language: English - Date: 2014-12-19 03:59:22 Applied mathematics Formal verification Specification Theoretical computer science Evaluation Formal methods Software bug Parsing
32	Document Ref : MED-SOC-DPQ-001 Issue Date : 26 april 2005 Issue : B Add to Reading List Source URL: due.esrin.esa.int Language: English - Date: 2015-04-29 08:48:05 Systems science Acceptance testing Ghrsst-pp Quality assurance Reliability engineering CNR Verification and validation Systems engineering process Validation Systems engineering Technology Software
33	HES-DVM™ HW/SW Validation Platform Hybrid Verification Platform HES-DVMTM is a Hybrid Verification and Validation Platform for Hardware and Software developers of SoC and ASIC designs up to 144M ASIC gates. Utilizing Add to Reading List Source URL: www.aldec.com Language: English - Date: 2015-02-02 17:14:32 Hardware verification languages Aldec Logic design Hardware emulation Hardware description languages Field-programmable gate array Joint Test Action Group Mentor Graphics Application-specific integrated circuit Electronic engineering Electronic design automation Digital electronics
34	II.A. Tank Testing Purpose of Tank Testing Tank testing is performed to obtain high quality data for a proposed device under a controlled environment. Estimates of final performance may also be obtained against a selecti Add to Reading List Source URL: www.chrissmithonline.co.uk Language: English - Date: 2010-04-28 04:01:06 Software testing Evaluation methods Systems engineering Design of experiments Psychometrics Statistical hypothesis testing Quality assurance Software development process Verification and validation Science Information Statistics
35	“Test once, use anywhere” Assessment Capable Entities & Recognised Test Organisations GCF Certification promotes global interoperability between mobile devices – including mobile phones Add to Reading List Source URL: www.globalcertificationforum.org Language: English - Date: 2014-09-11 12:50:29 Conformance testing Interoperability Verification and validation Electronics Evaluation Global Certification Forum Technology Software testing
36	1/ ForTesSE Formal Testing and System Exploration Laboratoire de Recherche en Informatiquereport Add to Reading List Source URL: vals.lri.fr Language: English - Date: 2015-05-21 04:16:07 Software development Science Model-based testing Formal verification Model checking Software verification Verification and validation Software development process Construction and Analysis of Distributed Processes Software testing Formal methods Theoretical computer science
37	Print, Inser t, Monitor, Audit. Do it all with uTrack and DRS . TM TM Add to Reading List Source URL: www.uluro.com Language: English - Date: 2015-03-19 13:12:09 Verification and validation Workflow Management Business Automated Document Factory Office software
38	Rocky Mountain Regulatory Affairs Society presents System and Software Verification and Validation Wednesday, January 14, 2014 College Hill Library, Front Range Community College Add to Reading List Source URL: rmras.org Language: English - Date: 2015-05-26 17:27:22 Medicine Quality management Systems engineering Quality Science Verification and validation Validation ISO 13485 Pharmaceutical industry Validity Technology
39	PDF Document Add to Reading List Source URL: www.qwsoftware.com Language: English - Date: 2009-07-31 13:59:30 Quality Validation Software testing Dynamic-link library Verification and validation Science Evaluation Philosophy of science Pharmaceutical industry Validity Clinical research
40	Busitech QW 5.0 versionDecember 4, 2007 Add to Reading List Source URL: www.qwsoftware.com Language: English - Date: 2009-07-31 13:51:23 Internet Explorer Windows Script Host Windows Registry Dynamic-link library Software testing Verification and validation Visual Basic Computing Software System software